A sketch of a dynamic epistemic semiring
نویسندگان
چکیده
منابع مشابه
epistemic modality in english and persian academic writing: a cross-linguistic study of genre on the notion of transfer
چکیده حیطه ی نوشتار دانشگاهی اخیرا شاهد تغییرات عمده ای از غیرشخصی بودن (عینی بودن) به شخصی بودن بوده است. شخصی بودن متون دانشگاهی اهمیت استفاده از وجهیت معرفتی را برجسته می سازد چرا که? وجهیت معرفتی? بر اساس یکی از تعاریف ارائه شده از این مقوله? ارتباط تنگاتنگی با شخصی بودن داشته و به عنوان بیان نظر شخصی گوینده در مورد جز گزاره ای گفته در نظر گرفته میشود. بنابراین? با در نظر داشتن نقاط مشترک...
15 صفحه اولa comparison of linguistic and pragmatic knowledge: a case of iranian learners of english
در این تحقیق دانش زبانشناسی و کاربردشناسی زبان آموزان ایرانی در سطح بالای متوسط مقایسه شد. 50 دانش آموز با سابقه آموزشی مشابه از شش آموزشگاه زبان مختلف در دو آزمون دانش زبانشناسی و آزمون دانش گفتار شناسی زبان انگلیسی شرکت کردند که سوالات هر دو تست توسط محقق تهیه شده بود. همچنین در این تحقیق کارایی کتابهای آموزشی زبان در فراهم آوردن درون داد کافی برای زبان آموزان ایرانی به عنوان هدف جانبی تحقیق ...
15 صفحه اولa decsription of persian deixis
the significance of the study of deixis was then mentioned. the purpose of the present study from the outset was to provide a comprehensive overview of all kinds of deixis in persian, describing and defining each in true while considering them structurally and semantically. chapter two consisted of two main parts. a review of the english studies in this respect, besides presenting persian liter...
15 صفحه اولStretch-A-Sketch: a Dynamic Diagrammer
Stretch-A-Sketch is a pen-based drawing program that combines recognition of hand-drawn glyphs with constraint based maintenance of spatial relations. The recognition program identifies hand drawn glyphs, spatial relations between them, and higher-level configurations, such as graph and tree diagrams and floorplan bubble diagrams. Stretch-A-Sketch then maintains the essential relations in these...
متن کاملa generalization of strong causality
در این رساله t_n - علیت قوی تعریف می شود. این رده ها در جدول علیت فضا- زمان بین علیت پایدار و علیت قوی قرار دارند. یک قضیه برای رده بندی آنها ثابت می شود و t_n- علیت قوی با رده های علی کارتر مقایسه می شود. همچنین ثابت می شود که علیت فشرده پایدار از t_n - علیت قوی نتیجه می شود. بعلاوه به بررسی رابطه نظریه دامنه ها با نسبیت عام می پردازیم و ثابت می کنیم که نوع خاصی از فضا- زمان های علی پایدار, ب...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2010
ISSN: 0890-5401
DOI: 10.1016/j.ic.2009.03.011